

io.write(string.format("%c%c%c", 0xEF, 0xBB, 0xBF));

